How Ought War To Be Remembered in Schools?

There ought to be a law?

An Integrated Framework for Ought-to-be and Ought-to-do Constraints 1

How Just Could a Robot War Be?

While modern states may never cease to wage war against one another, they have recognized moral restrictions on how they conduct those wars. These “rules of war” serve several important functions in regulating the organization and behavior of military forces, and shape political debates, negotiations, and public perception. While the world has become somewhat accustomed to the increasing techno...

An Integrated Framework for Ought-to-be and Ought-to-do Constraints (Extended Abstract)

Deontic logic is the logic to reason about ideal and actual behaviour. Besides the traditional role as an underlying logic for law and ethics (for a survey see [MW]), in the realm of computer science, deontic logic has been proposed as a logic for the specification of legal expert systems [BMT87],[Sta80], authorization mechanisms [ML85], decision support systems [Kd.,88], [Lee88b],[Lee88a], dat...

How we ought to describe computation in the brain.

I argue that of the four kinds of quantitative description relevant for understanding brain function, a control theoretic approach is most appealing. This argument proceeds by comparing computational, dynamical, statistical and control theoretic approaches, and identifying criteria for a good description of brain function. These criteria include providing useful decompositions, simple state map...